On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.org·15h
🔐Quantum Security
A distributed systems reliability glossary
antithesis.com·2d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Storage advice wanted for my homelab
reddit.com·4h·
Discuss: r/homelab
🏠Homelab Preservation
Issue 481
haskellweekly.news·7h
🔗Functional Compilers
Checking data integrity
eclecticlight.co·1d
✅Checksum Validation
Python Fundamentals: case
dev.to·6h·
Discuss: DEV
✅Format Verification
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.org·3h
🔐Quantum Security
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·5h·
Discuss: Hacker News
🤝Distributed Consensus
Cambridge contributor session and Archives fair
blog.archiveshub.jisc.ac.uk·1d
🕸️WARC Archives
Show HN: I built an SDK for building an AI RAG app with Supabase and pgvector
github.com·22h·
Discuss: Hacker News
🌀Brotli Internals
Acquire-By-Hash for APT packages repositories, and the lack of it in Kali Linux
arnaudr.io·19h
❄️Nixpkgs
Engineering Behind Fast Analytics: Data in Motion
outofdesk.netlify.app·57m·
Discuss: Hacker News
💎Information Crystallography
Quicksilver v2: evolution of a globally distributed key-value store (Part 2)
blog.cloudflare.com·6h
🔄Sync Engine
Courts Favor Targeted eDiscovery Collections, but It Is Up to In-House Teams to Enable Such Cost Saving Proportional Efforts
blog.x1discovery.com·2d
⚖️Legal Compliance
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.org·3d
🌐DNS Security
About our proof-of-concept LLM tool for navigating Debian's manpages
gwolf.org·7h
🦀Rust Macros
A Wide Reduction Trick (2022)
words.filippo.io·16h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
How Apex Fusion and Well-Typed Are Shaping the Future of Institutional DeFi on Cardano
hackernoon.com·1d
🤝Distributed Consensus
What people said about an OpenZFS bug
despairlabs.com·1d·
Discuss: Lobsters, Hacker News
🔒Type Safety
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers